Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations
2014-01-01 S. Berardi; S. Steila
Rank-2 Intersection and Polymorphic Recursion
2005-01-01 F. DAMIANI
Reasoning about communicating agents in the semantic web
2003-01-01 M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach
2001-01-01 M. Baldoni; L. Giordano; A. Martelli; V. Patti
Reasoning about Multiple Aspects in Rational Closure for DLs.
2016-01-01 Gliozzi, V.
Reasoning about self and others: communicating agents in a modal action logic
2003-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture
2007-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Recommending Multimedia Objects in Cultural Heritage Applications
2013-01-01 I. Bartolini; V. Moscato; R.G. Pensa; A. Penta; A. Picariello; C. Sansone; M.L. Sapino
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking
2016-01-01 Damiani, Ferruccio; Lienhardt, Michael
Refined Effects for Unanticipated Object Re-classification: Fickle3
2003-01-01 F. DAMIANI; SOPHIA DROSSOPOULOU; PAOLA GIANNINI
Refined Strategies for Semantic Unification
1987-01-01 P. G. Bosco; E. Giovannetti; C. Moiso
Refinement Types for Program Analysis
1996-01-01 M. COPPO; DAMIANI F.; GIANNINI P.
Relationships Meet their Roles in Object Oriented Programming
2007-01-01 M. BALDONI; G. BOELLA; L. VAN DER TORRE
A Reputation System for Multirole Sessions
2012-01-01 Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
Resilient distributed collection through information speed thresholds
2020-01-01 Audrito G.; Bergamini S.; Damiani F.; Viroli M.
Resources for Comparative Analysis of IDN Authoring Tools
2022-01-01 Shibolet, Y; Lombardo, V
RISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters
2023-01-01 William Fornaciari, Federico Reghenzani, Federico Terraneo, Davide Baroffio, Cecilia Metra, Martin Omana, Josie E. Rodriguez Condia, Matteo Sonza Reorda, Robert Birke, Iacopo Colonnelli, Gianluca Mittone, Marco Aldinucci, Gabriele Mencagli, Francesco Iannone, Filippo Palombi, Giuseppe Zummo, and Daniele Cesarini, Federico Tesser
The Role of Metaphor in Serious Games Design: the BubbleMumble Case Study
2021-01-01 Allegra, Mario; Bongiovanni, Antonella; Città, Giuseppe; Cusimano, Antonella; Dal Grande, Valentina; Gentile, Manuel; Kisslinger, Annamaria; La Guardia, Dario; Liguori, Giovanna; Lo Presti, Fabrizio; Perna, Salvatore; Picciotto, Sabrina; Ottaviano, Simona; Sala, Carla; Signa, Alessandro
Selection and ranking of activities in the social web
2013-01-01 Ilaria Lombardi; Silvia Likavec; Claudia Picardi; Elisa Chiabrando
Self-monitoring and Technology: Challenges and Open Issues in Personal Informatics
2014-01-01 Amon Rapp; Federica Cena
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations | 2014 | S. Berardi; S. Steila | |
Rank-2 Intersection and Polymorphic Recursion | 2005 | F. DAMIANI | |
Reasoning about communicating agents in the semantic web | 2003 | M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI | |
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach | 2001 | M. Baldoni; L. Giordano; A. Martelli; V. Patti | |
Reasoning about Multiple Aspects in Rational Closure for DLs. | 2016 | Gliozzi, V. | |
Reasoning about self and others: communicating agents in a modal action logic | 2003 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI | |
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture | 2007 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI | |
Recommending Multimedia Objects in Cultural Heritage Applications | 2013 | I. Bartolini; V. Moscato; R.G. Pensa; A. Penta; A. Picariello; C. Sansone; M.L. Sapino | |
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking | 2016 | Damiani, Ferruccio; Lienhardt, Michael | |
Refined Effects for Unanticipated Object Re-classification: Fickle3 | 2003 | F. DAMIANI; SOPHIA DROSSOPOULOU; PAOLA GIANNINI | |
Refined Strategies for Semantic Unification | 1987 | P. G. Bosco; E. Giovannetti; C. Moiso | |
Refinement Types for Program Analysis | 1996 | M. COPPO; DAMIANI F.; GIANNINI P. | |
Relationships Meet their Roles in Object Oriented Programming | 2007 | M. BALDONI; G. BOELLA; L. VAN DER TORRE | |
A Reputation System for Multirole Sessions | 2012 | Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani | |
Resilient distributed collection through information speed thresholds | 2020 | Audrito G.; Bergamini S.; Damiani F.; Viroli M. | |
Resources for Comparative Analysis of IDN Authoring Tools | 2022 | Shibolet, Y; Lombardo, V | |
RISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters | 2023 | William Fornaciari, Federico Reghenzani, Federico Terraneo, Davide Baroffio, Cecilia Metra, Martin Omana, Josie E. Rodriguez Condia, Matteo Sonza Reorda, Robert Birke, Iacopo Colonnelli, Gianluca Mittone, Marco Aldinucci, Gabriele Mencagli, Francesco Iannone, Filippo Palombi, Giuseppe Zummo, and Daniele Cesarini, Federico Tesser | |
The Role of Metaphor in Serious Games Design: the BubbleMumble Case Study | 2021 | Allegra, Mario; Bongiovanni, Antonella; Città, Giuseppe; Cusimano, Antonella; Dal Grande, Valentina; Gentile, Manuel; Kisslinger, Annamaria; La Guardia, Dario; Liguori, Giovanna; Lo Presti, Fabrizio; Perna, Salvatore; Picciotto, Sabrina; Ottaviano, Simona; Sala, Carla; Signa, Alessandro | |
Selection and ranking of activities in the social web | 2013 | Ilaria Lombardi; Silvia Likavec; Claudia Picardi; Elisa Chiabrando | |
Self-monitoring and Technology: Challenges and Open Issues in Personal Informatics | 2014 | Amon Rapp; Federica Cena |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile